Microsoft Research - PDFSEARCH.IO - Document Search Engine

Microsoft Research
Results: 27951

#	Item
21	Public Evidence from Secret Ballots Matthew Bernhard/ Josh Benaloh† J. Alex Halderman/ Ronald L. Rivest Peter Y. A. Ryan◦ Philip B. Stark‡ Vanessa Teague. Poorvi L. Vora§ Dan S. Wallach? † Microsoft Research / Add to Reading List Source URL: mbernhard.com Language: English - Date: 2017-08-03 23:20:50 Voting Politics Elections Group decision-making Electronic voting Election technology Electoral fraud Voter-verified paper audit trail Scantegrity ThreeBallot Election audits Postal voting
22	Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA. Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:46:20 Computing Computer architecture Concurrent computing Formal methods Theoretical computer science Cache coherency Instruction set architectures Concurrency TLA+ Model checking Cache coherence Specification language
23	Star-Cap: Cluster Power Management Using Software-Only Models John D. Davis Suzanne Rivoire () Moisés Goldszmidt (Microsoft Research) ICPP Workshop on Power-aware Algorithms, Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:40
24	Reliability as an Interdomain Service Hao Wang⋆ Yang Richard Yang⋆ Paul H. Liu⋆ Jia Wang† Alexandre Gerber† Albert Greenberg§ AT&T Labs – Research† Microsoft Research§ Add to Reading List Source URL: thev.net Language: English - Date: 2007-07-19 15:37:44
25	Performance Inconsistency in Large Scale Data Processing Clusters Mingyuan Xia and Nan Zhu McGill University Yuxiong He and Sameh Elnikety Microsoft Research Redmond Add to Reading List Source URL: 0b4af6cdc2f0c5998459-c0245c5c937c5dedcca3f1764ecc9b2f.r43.cf2.rackcdn.com Language: English - Date: 2013-06-26 05:38:58 Concurrent computing Parallel computing Computing System software Apache Hadoop Scheduling Job scheduler Computer cluster Data-intensive computing MapReduce
26	Microsoft Word - Pew Research Center Democracy Report FINAL Add to Reading List Source URL: www.pewglobal.org Language: English - Date: 2018-09-13 15:08:21 Democracy Political philosophy Politics Liberal democracy Types of democracy E-democracy Democratization Direct democracy Government Opinion poll
27	A Type Discipline for Authorization in Distributed Systems C´edric Fournet Microsoft Research Andrew D. Gordon Microsoft Research Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-08-14 07:09:04 Logic Mathematical logic Metalogic Propositional calculus Boolean algebra Formal languages Syntax Substitution Admissible rule Model theory Type Quantifier
28	Learning to Pass Expectation Propagation Messages Nicolas Heess∗ Gatsby Unit, UCL Daniel Tarlow Microsoft Research Add to Reading List Source URL: papers.nips.cc Language: English - Date: 2014-11-25 16:15:37 Probability and statistics Statistical theory Statistics Graphical models Bayesian statistics Market research Market segmentation Machine learning Factor graph Belief propagation Variational Bayesian methods Mixture model
29	Microsoft Word - OFC2018 SDN Controller-Paper-v5.doc Add to Reading List Source URL: www.research.att.com Language: English - Date: 2018-10-24 18:35:47 Network architecture Computing Computer architecture Information and communications technology Emerging technologies Configuration management Software-defined networking Reconfigurable optical add-drop multiplexer Computer network Routing Multiprotocol Label Switching Internet protocol suite
30	A Type Discipline for Authorization Policies ´ CEDRIC FOURNET and ANDREW D. GORDON Microsoft Research and Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-08-14 07:09:04 Software engineering Computing Theoretical computer science Automated theorem proving Datalog Horn clause -calculus Logic programming Substitution Struct ALGOL 68 Lambda calculus